Control of Search in AI Planning
نویسندگان
چکیده
In the field of artificial intelligence, ”planning” is defined as designing the behavior of some entity that acts, either an individual, a group, or an organization. The output is some kind of blueprint for behavior, which we call a plan. There are a wide variety of planning problems, differentiated by the types of their inputs and outputs. Typically, planning problems get more and more difficult as more flexible inputs are allowed and fewer constraints on the output are required. As this flexibility increases, the space of possibilities needing to be explored by the planning algorithm grows extremely quickly (usually exponentially). The goal of this workshop was to provide a specific focus on controlling this search. This problem is the essence of the planning problem, and it arises regardless of which specific planning methodology is used (nonlinear planning, deductive planning, hierarchical planning, etc.) in all of these controlling an exponentially growing search space is a central problem. In all planning formalizations, it is critical that some sort of knowledge (heuristic or otherwise) is used to make reasonable decisions at any of the many choice points which arise in planning. Such choice points can concern:
منابع مشابه
Overview of Modeling, Scheduling, Planning, and Control Using Petri Net Representation and AI Search
This paper reviews the research work on Petri nets representations and the AI based search approaches. It coves the following contents: 1) Petri nets (PN) and PN modeling of manufacturing systems; 2) Scheduling using PN and AI search and PN based scheduling of flexible manufacturing systems using hybrid heuristic search; 3) PN based planning; 4) Closed-loop control using PN; 5) Rule-based PN an...
متن کاملAI-Techniques in Proof Planning
Proof planning is an application of Artiicial Intelligence (AI)-planning in mathematical domains for theorem proving. The paper presents a knowledge-based proof planning approach that is implemented in the OMEGA proof planner. It evaluates control-rules in order to restrict the otherwise intractable search spaces and combines proof planning with domain-speciic constraint solving. Several AI-tec...
متن کاملNetwork Planning Using Iterative Improvement Methods and Heuristic Techniques
The problem of minimum-cost expansion of power transmission network is formulated as a genetic algorithm with the cost of new lines and security constraints and Kirchhoff’s Law at each bus bar included. A genetic algorithm (GA) is a search or optimization algorithm based on the mechanics of natural selection and genetics. An applied example is presented. The results from a set of tests carried ...
متن کاملO-Plan: The open Planning Architecture
O Plan is an AI planner based on previous experience with the Nonlin planner and its deriva tives Nonlin and other similar planning systems had limited control architectures and were only partially successful at limiting their search spaces O Plan is a design and implementation of a more exible system aimed at supporting planning research and development opening up new planning methods and supp...
متن کاملRandomization and Restarts in Proof Planning
Proof planning is an application of AI-planning in mathematical domains. One of its strengths comes from the usage of mathematical knowledge that heuristically restricts the search space. We investigate problem classes for which little or no heuristic control knowledge is available and test the usage of randomization and restart techniques for “search control”. This approach does not rely on do...
متن کاملAn AI Planning-based Tool for Scheduling Satellite Nominal Operations
Satellite domains are becoming a fashionable area of research within the AI community due to the complexity of the problems that these domains need to solve. With the current US and European focus on launching satellites for communication, broadcasting, or localization tasks, among others, the automatic control of these machines becomes an important problem. Many new techniques in both the plan...
متن کامل